1. A Concise Introduction to Mathematical Logic
Author: by Wolfgang Rautenberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
2. <A> Concise introduction to pure mathematics
Author: \ Martin Liebeck.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, Symbolic and mathematical.,Mathematics.,منطق ریاضی ,ریاضیات
Classification :
QA9
.
L478
2016
E-book
,
3. A Course in Model Theory :
Author: by Bruno Poizat.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Mathematics.,Logic, Symbolic and mathematical.,Mathematics.
Classification :
QA8
.
9-10
.
3
4. A Course on Mathematical Logi
Author: / by Shashi Mohan Srivastava
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books
Classification :
E-BOOK
5. <A> First Course in Mathematical Logic and Set Theory
Author: \ Michael L. O'Leary
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, symbolic and mathematical,Mathematics,Set theory,منطق ریاضی,ریاضیات,نظریه مجموعهها,a03,a04,a05,a03,a04,a05
Classification :
QA
9
.
O4F5
2016
E-Book
,
6. A Mathematical Structure for Emergent Computation
Author: by Victor Korotkich.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Algorithms.,Electronic data processing.,Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.
7. A first course in logic /
Author: Mark V. Lawson, Heriot-Watt University, Edinburgh.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical, Problems, exercises, etc.,Logic.,Logic, Symbolic and mathematical.,Logic.,MATHEMATICS-- General.
Classification :
QA9
.
L37256
2018eb
8. A first course in mathematical logic and set theory /
Author: Michael L. O'Leary
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Mathematics,Set theory
Classification :
QA9
9. A first journey through logic /
Author: Martin Hils, François Loeser.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Logic, Symbolic and mathematical.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.),Mathematics.,Mathematische Logik
Classification :
QA9
.
H52445
2019
10. A primer of formal logic
Author: By John C. Cooley
Library: Library of Faculty Literature of University of Tehran (Tehran)
Subject: Logic.,Logic, Symbolic and mathematical.,Mathematics - philosophy
11. A profile of mathematical logic.
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic.,Mathematics.,Logique symbolique et mathématique.,Logic, Symbolic and mathematical.,Logica Matematica (Textos Introdutorios),Logique symbolique et mathématique.,Mathématiques-- Philosophie.,Mathematische Logik,Mathematische Logik.
Classification :
QA9
.
D37
12. A readable introduction to real mathematics
Author: Rosenthal, Daniel.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Mathematics,، Logic, Symbolic and mathematical,، Mathematics - Problems, exercises, etc.
Classification :
QA
93
.
R6
2014
13. Advanced mathematics :
Author: Stanley J. Farlow.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Differential equations, Partial.,Logic, Symbolic and mathematical.,MATHEMATICS-- Calculus.,Mathematics.
Classification :
QA37
.
3
14. Advanced mathematics
Author: Stanley J. Farlow
Library: Library of College of Science University of Tehran (Tehran)
Subject: Mathematics,Logic, Symbolic and mathematical, -- Textbooks, -- Textbooks,a03,a04
Classification :
QA37
.
3
.
F37
2020
15. Advanced mathematics :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Mathematics ; Textbooks. ; Logic, Symbolic and mathematical ; Textbooks. ;
16. Alan Turing :
Author: edited by S. Barry Cooper and Jan van Leeuwen
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Turing, Alan,1912-1954,Computer science-- Mathematics,Enigma cipher system,Logic, Symbolic and mathematical,Mathematicians-- Great Britain, Biography
Classification :
QA29
.
T8
C65
2013
17. Algebra and computer science : "Joint AMS-EMS-SPM Meeting, Algebra and Computer Science, June 10-13, 2015, Porto, Portugal"; "Joint Mathematics Meeting, Groups, Algorithms, and Cryptography, January 10-13, 2015, San Antonio, TX"; "Joint AMS-Israel Mathematical Union Meeting, Applications of Algebra to Cryptography, June 16-19, 2014, Tel-Aviv, Israel"
Author: Delaram Kahrobaei, Bren Cavallo, David Garber, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Computer science -- Mathematics
Classification :
QA
9
.
A1A42
18. Algorithmic and Symbolic Combinatorics
Author: / Stephen Melczer, Melczer, Stephen
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical,Discrete mathematics, Algorithms,a05
Classification :
QA9
19. An Invitation to Abstract Mathematic
Author: / by B?شla Bajnok
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Logic, Symbolic and mathematical,Electronic books
Classification :
E-BOOK
20. An introduction to Mathematical thought. Reding, Mass
Author: / Edward Russell Stabler
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Mathematics-philosophy,Logic,Symbolic and mathematical
Classification :
QA
9
.
S67
